大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on Computer Algebra in Scientific Computing (2nd : 1999) 的图书(共6353本)

Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

0
索取号:
作者:Dennis、 Louise.、Boissier、 Olivier.、Bordini、 Rafael H.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Service-Oriented Computing - ICSOC 2011 Workshops [electronic resource] : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

0
索取号:
作者:Pallis、 George.、Jmaiel、 Mohamed.、Charfi、 Anis.、Graupner、 Sven.、Karabulut、 Y眉cel.、Guinea、 Sam.、Rosenberg、 Florian.、Sheng、 Quan Z.、Pautasso、 Cesare.、Mokhtar、 Sonia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

0
索取号:
作者:Herik、 H. Jaap.、Plaat、 Aske.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Emerging Intelligent Computing Technology and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

0
索取号:
作者:Huang、 De-Shuang.、Gupta、 Phalguni.、Zhang、 Xiang.、Premaratne、 Prashan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers

0
索取号:
作者:Beneventano、 Domenico.、Despotovic、 Zoran.、Guerra、 Francesco.、Joseph、 Sam.、Moro、 Gianluca.、Pinninck、 Adri谩n Perreau.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号:
作者:Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

0
索取号:
作者:脰zbudak、 Ferruh.、Rodr铆guez-Henr铆quez、 Francisco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

0
索取号:
作者:Kutrib、 Martin.、Moreira、 Nelma.、Reis、 Rog茅rio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

0
索取号:
作者:Huang、 De-Shuang.、Jiang、 Changjun.、Bevilacqua、 Vitoantonio.、Figueroa、 Juan Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Computing Theories and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

0
索取号:
作者:Huang、 De-Shuang.、Ma、 Jianhua.、Jo、 Kang-Hyun.、Gromiha、 M. Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

0
索取号:
作者:脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computing and Information Technology [electronic resource] : Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 1

0
索取号:
作者:Meghanathan、 Natarajan.、Nagamalai、 Dhinaharan.、Chaki、 Nabendu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tools for High Performance Computing 2011 [electronic resource] : Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

0
索取号:
作者:Brunst、 Holger.、M眉ller、 Matthias S.、Nagel、 Wolfgang E.、Resch、 Michael M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号:
作者:Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号:
作者:Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Biomedical Image Registration [electronic resource] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings

0
索取号:
作者:Dawant、 Beno卯t M.、Christensen、 Gary E.、Fitzpatrick、 J. Michael.、Rueckert、 Daniel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类